/patch-tools_gnome-doc-tool_in/1.4/Tue Mar  8 14:41:15 2011//
/patch-tools_gnome-doc-utils_make/1.2/Thu Apr  4 14:36:01 2013//
/patch-xml2po_xml2po_1/1.1/Sat Mar  3 10:30:56 2012//
D
